On the Radar: Prevoty provides a runtime application security platform for the enterprise Protection for large-scale runtime environments Publication Date: 29 Dec 2015

Source URL: www.prevoty.com

• Security
• Computing
• Data security
• Splunk
• System administration
• Application firewall
• Computer security
• Ovum Ltd.

Last week, David Terei lectured about the compilation pipeline which is responsible for producing the executable binaries of the Haskell code you actually want to run.

Source URL: www.scs.stanford.edu

• Software engineering
• Computing
• Software
• Functional languages
• Haskell
• Glasgow Haskell Compiler
• Clean
• Green threads
• Entry point
• Runtime system
• Bytecode
• Yi

MetaVM: A Transparent Distributed Object System Supported by Runtime Compiler Kazuyuki Shudo Yoichi Muraoka School of Science and Engineering Waseda University Okubo 3-4-1, Shinjuku-ku, Tokyo, Japan

Source URL: www.shudo.net

• Computing
• Software
• Java platform
• Cross-platform software
• Compiler construction
• Inter-process communication
• Programming language implementation
• Java virtual machine
• Java
• Just-in-time compilation
• Distributed object
• Bytecode

Session 1: Applications and Algorithms Using Hardware Accelerators • Towards Seismic Wave Modeling on Heterogeneous Many-core Architectures using Task-based Runtime System. Victor Martinez, David Michea, Fabrice Dupros

Source URL: www2.sbc.org.br

• Computing
• Computer architecture
• Computer engineering
• Parallel computing
• Computer memory
• Manycore processors
• Dynamic random-access memory
• Multi-core processor
• Cache
• Blue Gene
• General-purpose computing on graphics processing units
• Random-access memory

mzc: PLT Compilation and Packaging VersionApril 2, 2010 The mzc tool supports various PLT Scheme compilation and packaging tasks.

Source URL: download.plt-scheme.org

• Software
• Computing
• System software
• Programming language implementation
• Android
• Java virtual machine
• Compiler construction
• Bytecode
• Executable
• Dalvik
• Android Runtime
• Racket

Observation Strategies for Event Detection with Incidence on Runtime Verification Marco Alberti1 , Pierangelo Dell’Acqua2 , and Lu´ıs Moniz Pereira1 1 Centro de Inteligˆencia Artificial (CENTRIA), Departamento de I

Source URL: ceur-ws.org

• Algebraic geometry
• Field theory
• Valuation
• Polar coordinate system

This article has been accepted for inclusion in a future issue of this journal. Content is final as presented, with the exception of pagination. IEEE JOURNAL ON EMERGING AND SELECTED TOPICS IN CIRCUITS AND SYSTEMS 1 Imp

Source URL: mesl.ucsd.edu

• Computing
• Parallel computing
• Computer programming
• Software engineering
• OpenMP
• Multi-core processor
• Data parallelism
• Runtime system
• Task parallelism
• Thread
• Manycore processor
• Central processing unit

Verification of Complex Adaptive Systems Working Group Report - Dagstuhl SeminarLuca Bortolussi, Giacomo Cabri, Giovanna Di Marzo Serugendo, Vashti Galpin, Jane Hillston, Roberta Lanciani, Mieke Massink, Mirco Tri

Source URL: homepage.lnu.se

• Metaphysics
• Complex systems theory
• Philosophy
• Formal methods
• Theoretical computer science
• Logic in computer science
• Runtime verification
• Model checking
• Complex adaptive system
• System
• Emergence
• Field

OpenMP Fortran Application Program Interface Version 1.1–November–1999 Contents

Source URL: www.openmp.org

• Computing
• Computer programming
• Software engineering
• Parallel computing
• OpenMP
• Fortran
• Automatic parallelization
• Application programming interface
• Directive
• SPMD
• Include directive
• Runtime system

CoreDet: A Compiler and Runtime System for Deterministic Multithreaded Execution Tom Bergan Owen Anderson

Source URL: homes.cs.washington.edu